Researchers introduced TREK, a method that improves AI problem-solving by using verified output trajectories to extend model learning. TREK boosted Qwen3-8B's performance on AIME 2024 from 36.9 to 40.…
Researchers introduced VeryTrace, a zero-shot verification-and-repair framework that formalizes Chain-of-Thought reasoning traces into a compilable Domain-Specific Language, enabling step-level error …
OpenAI released an update to GPT-5.5 Instant on May 28, improving response style, readability, and personalization, with the model scoring 81.2 on the AIME 2025 math test versus 65.4 for the prior ver…
Researchers introduced Sequential Bayesian Belief Tracking (SBBT), a framework that estimates the likelihood of a correct final answer from partial reasoning traces by calibrating observation likeliho…